منابع مشابه
Notes on Formal Smoothness
The definition of an S-category is proposed by weakening the axioms of a Q-category introduced by Kontsevich and Rosenberg. Examples of Qand S-categories and (co)smooth objects in such categories are given.
متن کاملA Few Notes on Formal Balls
Using the notion of formal ball, we present a few new results in the theory of quasi-metric spaces. With no specific order: every continuous Yoneda-complete quasi-metric space is sober and convergence Choquet-complete hence Baire in its d-Scott topology; for standard quasi-metric spaces, algebraicity is equivalent to having enough center points; on a standard quasi-metric space, every lower sem...
متن کاملof Globalization Based on Constructivism
Current article tries to answer this question that how we can preserve national identity in the face of alien identities in globalization atmosphere. It proposes this hypothesis that each identity is composed of two material and spiritual structures and if spiritual structures of national identity are preserved then material structures can be recreated in globalization atmosphere. Having separ...
متن کاملSome Notes on Putting Formal Specifications to Productive Use
These notes are personal reflections, stemming from attempts to understand the sources of problems and successes in the application of work on formal specifications. Our intent is to provoke thought about the nature and value of work in the area; not to provide a set of well-tested results. Rather than focusing on yet another specification language, we have tried to take a broad view of the rol...
متن کاملSome Notes on the Formal Properties of Bidirectional Optimality Theory
In this paper, we discuss some formal properties of the model of bidirectional Optimality Theory that was developed in Blutner 2000. We investigate the conditions under which bidirectional optimization is a well-defined notion, and we give a conceptually simpler reformulation of Blutner’s definition. In the second part of the paper, we show that bidirectional optimization can be modeled by mean...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Humanistic Mathematics Network Journal
سال: 2002
ISSN: 1065-8297
DOI: 10.5642/hmnj.200201.26.09